type ppstream = PP.ppstream
